Nuprl Definition : Barber 8,37
The Barber is Primitive 
latex

FDL editor aliasesBarber

origin